Sharp lower bounds involving circuit layout system
نویسندگان
چکیده
منابع مشابه
Boolean Circuit Lower Bounds
The lectures are devoted to boolean circuit lower bounds. We consider circuits with gates ∧,∨,¬. Suppose L ∈ {0, 1}∗ is a language. Let Ln = L∩{0, 1}. We say that L is computed by a family of circuits C1, C2, . . . if on an input x = (x1, . . . , xn), Cn(x) is 1 when x ∈ Ln and is 0 when x / ∈ Ln. For a circuit C, we define size(C) to be the number of edges in the graph representing C, and dept...
متن کاملDerandomization and Circuit Lower Bounds
1 Introduction Primality testing is the following problem: Given a number n in binary, decide whether n is prime. In 1977, Solovay and Strassen [SS77] proposed a new type of algorithm for testing whether a given number is a prime, the celebrated randomized Solovay-Strassen primality test. This test and similar ones proved to be very useful. This fact changed the common notion of " feasible comp...
متن کاملAlgorithms versus Circuit Lower Bounds
Different techniques have been used to prove several transference theorems of the form “nontrivial algorithms for a circuit class C yield circuit lower bounds against C”. In this survey we revisit many of these results. We discuss how circuit lower bounds can be obtained from derandomization, compression, learning, and satisfiability algorithms. We also cover the connection between circuit lowe...
متن کاملLocality from Circuit Lower Bounds
We study the locality of an extension of first-order logic that captures graph queries computable in AC, i.e., by families of polynomial-size constant-depth circuits. The extension considers first-order formulas over relational structures which may use arbitrary numerical predicates in such a way that their truth value is independent of the particular interpretation of the numerical predicates....
متن کاملQuasimodes and Resonances: Sharp Lower Bounds
We prove that, asymptotically, any cluster of quasimodes close to each other approximates at least the same number of resonances, counting multiplicities. As a consequence, we get that the counting function of the number of resonances close to the real axis is bounded from below essentially by the counting function of the quasimodes.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Inequalities and Applications
سال: 2013
ISSN: 1029-242X
DOI: 10.1186/1029-242x-2013-592